Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
441	Refutation-Complete Binary Decision Diagrams Scott P. Sanner Department of Computer Science University of Toronto Toronto, ON M5S 3G4 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2004-05-05 19:58:06 Boolean algebra Automated theorem proving Constraint programming Mathematical logic Diagrams Binary decision diagram DPLL algorithm Boolean satisfiability problem Resolution Theoretical computer science Mathematics Applied mathematics
442	Relational Dynamic Influence Diagram Language (RDDL): Language Description Scott Sanner ([removed]) NICTA and the Australian National University Abstract The Relational Dynamic Influence Diagram Language (RDDL) i Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-10-06 22:20:08 Automated planning and scheduling Planning Domain Definition Language Logic in computer science Semantics Boolean algebra Fluent Bernoulli distribution FO Function Mathematics Mathematical logic Theoretical computer science
443	Propositional Encoding of Constraints over Tree-Shaped Data Johannes Waldmann and Alexander Bau HTWK Leipzig, Germany {waldmann,abau}@imn.htwk-leipzig.de Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-22 03:33:16 Propositional calculus Boolean algebra Constraint programming Formal languages Model theory Boolean satisfiability problem String Propositional formula Function Mathematics Logic Mathematical logic
444	Principles of Artificial Intelligence Fall 2005 Handout #5 Deliberative Agents Vasant Honavar Artificial Intelligence Research Laboratory Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2009-08-25 18:32:21 Model theory Predicate logic Boolean algebra Propositional calculus Atomic sentence Unification Function First-order logic If and only if Logic Mathematical logic Mathematics
445	ADDITIONAL FUND/ORGANIZATION ACCESS REQUIREMENTS NOTE: This form must be accompanied by an Aurora Finance System Access Request Form to be processed GENERAL INFORMATION Add to Reading List Source URL: www.umanitoba.ca Language: English - Date: 2015-03-25 10:19:07 Boolean algebra Propositional calculus Algebraic topology Logic Mathematics Mathematical logic Group theory
446	Million-scale Derivation of Semantic Relations from a Manually Constructed Predicate Taxonomy Motoki Sano∗ Kentaro Torisawa† Julien Kloetzer‡ Chikara Hashimoto § Istv´an Varga¶ Jong-Hoon Oh∥ ∗†‡§∥ Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2014-08-08 12:23:41 Logical consequence Algebraic logic Computational linguistics Entailment Metalogic Function Modal logic Boolean algebra Event Logic Mathematics Philosophical logic
447	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. I. The Two-Level Case. Calogero G. Zarba ([removed]) LORIA and INRIA-Lorraine 615, rue du Jardin Botan Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:40:27 Logic in computer science Model theory Boolean algebra Boolean satisfiability problem Electronic design automation Interpretation Symbol Function Mathematics Theoretical computer science Mathematical logic
448	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Proof theory Mathematical constructivism Predicate logic Boolean algebra Propositional calculus First-order logic Intuitionistic logic Well-formed formula Sequent Logic Mathematical logic Mathematics
449	The topology of Seemingly impossible functional programs The only difference between reality and fiction is that fiction needs to be credible. Mark Twain Mart´ın Escard´ Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-01-28 17:00:50 Discrete space Continuous function Compact space Boolean algebra Stone functor Topology General topology Topological spaces
450	Computations, algebra and computer algebra in Coq Assia Mahboubi INRIA Microsoft Research Joint Centre (France) INRIA Saclay – ˆIle-de-France ´ Ecole Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2012-01-31 05:29:56 Mathematical logic Functional languages Coq Automated theorem proving Theoretical computer science Boolean algebra Proof assistant National Institute for Research in Computer Science and Control Formal proof Logic Mathematics Software

UPDATE